Granularity Analysis for Exploiting Adaptive Parallelism of Declarative Programs on Multiprocessors

1IntroductionAutomaticparallelexecutionofdeclarativelanguageprograms(e.g.functionprogramsandlogicprograms)isattractive,asitmakestheuseofparallelcomputersveryeasy,andtheprogrammerneednotbeconcernedwiththespecificsoftheunderlyingparallelarchitecture.However,ifseveralprocessorsareexecutingconcurrently,exploitingadaptiveparallelismishardduetonon-determinismoftaskgranularityanddatadependenciesamongtasks.TheearlysolutionproposedbyConeryandKibler[2]usesanorderingalgorithmtodeterminedependenciesatrun…     

PPS：基于PROSITE数据库检索蛋白质功能位点的计算机程序

用标准Ｃ语言在ＩＢＭ－ＰＣ兼容微机上开发了基于ＰＲＯＳＩＴＥ数据库检索蛋白质序列功能位点的ＰＰＳ程序，ＰＲＯＳＩＴＥ是Ｂａｉｒｏｃｈ建立的蛋白质功能位点或结构模式的资料库，为蛋白质序列分析和结构功能研究提供了新工具。     

Full Or-Parallemism and Restricted And-Parallelism in BTM

BTM is a new And/Or parallel execution model for logic programs which exploits both full Or-parallelism and restricted And-parallelism.The advantages of high parallelism and low run time cost make BTJ,an experimental execution system of BTM implemented on a nonshared-memory multiprocessor system,achieve significant speedup for both And-paralled and Or-parallel logic programs.     

乙烯氧化制环氧乙烷固定床反应器的模拟及稳定性分析

在筛选出合适的乙烯氧化制环氧乙烷动力学方程的基础上,对工业固定床氧化反应器进行一维和二维模型的模拟计算。考察操作工艺参数对反应器稳定性、转化率影响的敏感性以及N_2和CH_4做致稳气时反应温度和转化率的轴向、径向分布。     

Selecting a waste management option using a life-cycle analysis approach

Solid-waste management, and in particular the disposal of used packaging, is currently the subject of much topical debate. This is driven by both consumer and legislative pressures. Consumers see used packaging as a highly visible element of municipal solid waste, complaining of excessive packaging and low levels of recycling. Legislators, perhaps in pandering to the views expressed by consumer bodies, have been active within the CEC and individual Member States by introducing (or proposing) legislation or similar regulatory tools and targets to facilitate a greater diversion of used packaging from disposal by landfill to alternative solid-waste management practices, in particular recycling, which are widely accepted to have a lower impact on the environment. In this paper the relative environmental profiles of pursuing alternative solid-waste management practices to disposal by landfill are explored, focusing not just on solid waste per se but also on associated considerations of energy consumption and emissions, which are invariably overlooked as factors contributing to the environmental impact of solid-waste management practices.     

Laminated beams subjected to transverse load

A simple elastic solution has been developed for predicting the shear stress distribution in a laminated beam subjected to a variety of transverse loading conditions. Photoelastic tests on composite models involving a single bonding layer have been used to validate the theory, and also to comment upon the significance of these results in interpreting the interlaminar shear strength and bending modulus of the simplest form of laminated strip.     

时滞不确定系统的鲁律性分析

此文利用解的估计方法和比较定理，研究了线性时滞不确定系统的鲁棒性问题，得到了用状态反馈来镇定这类系统的充分条件，并给出了此类系统具有任意希望的鲁棒性条件．     

有限缓冲区FMS的特征分析与托盘配置

本文研究了Ｊｏｂ－Ｓｈｏｐ型有限缓冲区ＦＭＳ的运行特性及托盘优化配置问题，给出了系统的分析模型及托盘优化算法。本文的结果对系统的分析与设计具有重要的实际意义。     

非串行生产线的建模,分析及设计

本文利用等效工作站理论和工件流平衡原理，推导出非串行离散事件生产线可以等价于串联系统，并归结为装配和拆卸两条定理，解决了系统的建模、分析与设计问题。     

军用滑木箱的设计分析

介绍了按日本标准设计的横板式和国内竖板式军用滑木箱的结构设计参数，从木箱抗弯、抗静压及顶盖抗弯三方面对比了两种木箱的力学性能，分析了两种木箱的特点及适用范围。